* {
	margin: 0px;
	padding: 0px;	
}
html {
	width: 100%;
	height: 100%;
}

body {
	margin: 0px;
	padding: 0px;
	width: 100%;
	height: 100%;
	font-size: 11px;
	font-family: tahoma, arial, verdana, sans-serif;
}

.container {
	height: 100%;
	width: 100%;
}

#dl-explorer, #dl-middle {
	float: left;	
}
#dl-explorer {
	width: 200px;
	height: 100%;	
}

#dl-result {
	height: 300px;	
}


#nodes {
	width: 100%;
	height: 100%;
	overflow: auto;
}



.bottom {
	margin: 5px;
}

.clear {
	clear: both;
}

.hidden {
	display: none;
}


/* jQuery UI styling */
.ui-widget-header {
	padding: 5px;
}

.ui-tabs .ui-tabs-nav li a {
	padding: 0.4em 1em;
	font-size: 0.9em;
}